Erdos problems

Google DeepMi

2026-10-12 09:40:07

Google DeepMind’s AlphaProof Nexus solves dozens of open math problems

Google DeepMind’s AlphaProof Nexus has solved dozens of open mathematical problems, including nine Erdős problems, according to Techub News. Two of those problems had remained unsolved for 56 years. The research has been published in Science. The report, citing The Decoder, also drew a contrast with OpenAI’s earlier release of AI-generated mathematical proofs on GitHub. That release faced backlash because it was made public before peer review. DeepMind, by comparison, reviewed the AlphaProof Nexus results before publication. The update centers on the research outcome and the publication process rather than any commercial rollout. Based on the information provided, the key points are the number of problems solved, the inclusion of long-standing Erdős problems, the 56-year duration attached to two of them, and the fact that the work appeared in a peer-reviewed journal.

200

Justin Sun Pr

2026-10-05 17:21:58

Justin Sun Prize names first winners for work on Erdős problems with AI assistance

Justin Sun’s office has announced the first recipients of the Justin Sun Prize, recognizing contributions to several Erdős problems and highlighting how human researchers and AI systems can work together on difficult mathematics. The initial winners are independent researcher Wouter van Doorn, Tang Quanyu, a mathematics PhD student at the University of Science and Technology of China, and Li Yanyang, a mathematics researcher at Southeast University. Their work solved multiple problems, including Erdős problem #650. In that case, the researchers used ChatGPT to help shape a proof strategy and relied on a mathematical reasoning AI system called Aristotle to patch gaps during formal verification before refining the argument and completing the final proof themselves. Prize payments will be made, at each winner’s option, in USDT on TRON or USDC on Ethereum. The Justin Sun Prize is designed to support work across mathematics research, blockchain, and AI.

320